<html>
<body>
Replaces a variable type with a corresponding atomic type.
</body>
</html>
